Instance Verification Kit (IVK)

spin lock @ [48798+42+/linux-3.18-rc1/drivers/usb/gadget/udc/pch_udc.c]
Instance Signature: lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
complete_req [41050+12+/linux-3.18-rc1/drivers/usb/gadget/udc/pch_udc.c]
empty_req_queue [42436+15+/linux-3.18-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_complete_receiver [60662+25+/linux-3.18-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_complete_transfer [59464+25+/linux-3.18-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_dev_isr [76441+15+/linux-3.18-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_isr [78147+11+/linux-3.18-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_pcd_dequeue [54226+19+/linux-3.18-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_pcd_ep_disable [48509+22+/linux-3.18-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_pcd_queue [51525+17+/linux-3.18-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_svc_control_in [65094+22+/linux-3.18-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_svc_control_out [66221+23+/linux-3.18-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_svc_data_in [62443+19+/linux-3.18-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_svc_data_out [63682+20+/linux-3.18-rc1/drivers/usb/gadget/udc/pch_udc.c]
pch_udc_svc_ur_interrupt [71390+24+/linux-3.18-rc1/drivers/usb/gadget/udc/pch_udc.c]
process_zlp [45801+11+/linux-3.18-rc1/drivers/usb/gadget/udc/pch_udc.c]